361. Logic for concurrency and synchronisation[CD]
Author: / edited by Ruy J.G.B. de Queiroz
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Proof theory,Modality (Logic),Parallel programming (Computer science)
Classification :
CD1743-35
362. Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings
Author: Maurizio Proietti )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
1048
363. Logic programming: prolog and stream parallel languages
Author: Newmarch, Jan Dennis
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Logic programming,، Prolog )Computer program language(,، Parallel processing )Electronic computers(
Classification :
QA
76
.
63
.
N48
364. Logics of Programs :
Author: by E. Clarke, D. Kozen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Programmation (Informatique) -- Congrès.
365. ML with concurrency
Author: / Flemming Nielson
Library: Library of College of Science University of Tehran (Tehran)
Subject: ML (Computer program language),Functional programming (Computer science),Parallel programming (Computer science)
Classification :
QA
76
.
73
.
M6
N54
1996
366. ML with concurrency: design, analysis, implementation, and application
Author: Nielson, Flemming
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، ML )Computer program language(,، Functional programming )Computer science(,، Parallel programming )Computer science(
Classification :
QA
76
.
73
.
M6
.
N54
1996
367. ML with concurrency : design, analysis, implementation, and applications
Author: Flemming Nielson
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، ML )Computer program language(,، Functional programming )Computer science(,، Parallel programming )Computer science(
Classification :
QA
76
.
73
.
M6N5
368. MPI--the complete reference
Author: / Marc Snir ... [et al.]
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Parallel programming (Computer science),Subroutines (Computer programs)
Classification :
QA76
.
642
.
M65
1998
369. MPI--the complete reference
Author: Marc Snir... ]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Parallel programming )Computer science(,، Subroutines )Computer programs(
Classification :
QA
76
.
642
.
M674
1998
370. Managing interactions in smart environments :
Author: Paddy Nixon ... (eds.). Organised by Department of Computer Science, University of Dublin, Trinity College
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Dublin <1999>,Kongress,Mensch-Maschine-Kommunikation
Classification :
TH6012
.
P333
2000
371. Massively parallel models of computation
Author: Valmir C. Barbosa
Library: Central Library of Ahvaz Faculty of Petroleum (Khuzestan)
Subject: Parallel programming (Computer science),Parallel processing (Electronic computers),Neural networks (Computer science),Parallel programming
Classification :
QA
,
76
.
642
,
B37
,
1993
372. : Master Parallel Extensions with .NET 4 Professional Parallel Programming with C
Author: / Gaston Hillar
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
373. : Master Parallel Extensions with .NET 4 Professional Parallel Programming with C
Author: / n
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
374. Mathematica cookbook /
Author: Sal Mangano
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematica (Computer file),Functions of complex variables,Mathematical analysis
375. Mathematica cookbook /
Author: Sal Mangano
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematica (Computer file),Functions of complex variables,Mathematical analysis
376. Mathematical Foundations of Computer Science 1986 :
Author: edited by Jozef Gruska, Branislav Rovan, Juraj Wiedermann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
Classification :
QA267
.
E358
1986
377. Mathematical Foundations of Computer Science 1976 :
Author: edited by Antoni Mazurkiewicz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer Science.,Computers.
Classification :
QA267
.
3
E358
1976
378. Mathematical Foundations of Computer Science 1989 :
Author: edited by Antoni Kreczmar, Grazyna Mirkowska.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
Classification :
QA76
.
9
.
M35
E358
1989
379. Mathematical foundations of computer science 1986; Proceedings of the 12th symposium Bratislava, Czechoslovakia, August 25-29, 1986
Author: edited by J. Gruska
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming,Congresses ، Programming languages )Electronic computers(,Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
L4
v
.
233
380. Mathematical foundations of computer science, 1978 : proceedings, 7th Symposium Zakopane, Poland, September 4-8, 1978
Author: edited by J. Winkowski
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(,Congresses ، Parallel processing )Electronic computers(,Congresses ، Database management
Classification :
QA
76
.
L28
Vol
.
64
